Overview of Verifiable Computing Techniques Providing Private and Public Verification

In this deliverable, we investigate the state-of-the-art in cryptographic approaches to verifiable computing. Verifiable computing encompasses methods that allow to delegate the computation of a function f on outsourced data x to third parties, such that the data owner and/or other third parties can verify that the outcome y = f(x) has been computed correctly by the third party. Thereby, approaches that are of prime interest are those providing an efficient verification process, i.e., it requires significantly lower computational costs to verify the correctness of the result than to perform the computation locally. In addition to presenting on overview of the state-of-the-art, we also highlight some interesting directions for future work. This document is issued within the frame and for the purpose of the Prismacloud project. This project has received funding from the European Union’s Horizon 2020 Programme for research, technological development and demonstration under grant agreement no. 644962. This document and its content are the property of the Prismacloud Consortium. All rights relevant to this document are determined by the applicable laws. Access to this document does not grant any right or license on the document or its contents. This document or its contents are not to be used or treated in any manner inconsistent with the rights or interests of the Prismacloud Consortium or the Partners detriment and are not to be disclosed externally without prior written consent from the Prismacloud Partners. Each Prismacloud Partner may use this document in conformity with the Prismacloud Consortium Grant Agreement provisions. Privacy and Security Maintaining Services in the Cloud Overview of Verifiable Computing Techniques Providing Private and Public Verification